Secure Information Flow in a Multi-threaded Imperative Language Geoffrey Smith School of Computer Science Florida International University Miami, FL 33199, USA

Source URL: users.cis.fiu.edu

Alex Sanchez-Stern Curriculum Vitae Education 2016–Present Doctor of Philosophy, Computer Science, University of California, San Diego. 2015–2016 Masters of Science, Computer Science, The University of Washington.

Source URL: alex.uwplse.org

• Computer engineering
• Computer science
• Electrical engineering
• Electronic engineering
• Thesis
• Emmy Noether
• Tatlock
• Education
• Knowledge
• Science and technology in Germany

DC Proposal: Towards Linked Data Assessment and Linking Temporal Facts Anisa Rula University of Milano-Bicocca, Department of Computer Science, Systems and Communication (DISCo), Innovative Techonologies for Interaction

Source URL: iswc2011.semanticweb.org

Variational EM Algorithms for Non-Gaussian Latent Variable Models J. A. Palmer, K. Kreutz-Delgado, D. P. Wipf, and B. D. Rao Department of Electrical and Computer Engineering University of California San Diego, La Jolla,

Source URL: dsp.ucsd.edu

PROCEEDINGS, CICROWD MEMORY: LEARNING IN THE COLLECTIVE Walter S. Lasecki, Samuel C. White, Kyle I. Murray, and Jeffrey P. Bigham University of Rochester Department of Computer Science ROC HCI Lab

Source URL: web.eecs.umich.edu

Marc Levoy 366 Gates Computer Science Building Stanford University Stanford, CA4089

Source URL: graphics.stanford.edu

XSLT Conversion between XLIFF and RDF Dimitra Anastasiou SFB/TR8 Computer Science/Languages Science University of Bremen Bremen, Germany

Source URL: iswc2011.semanticweb.org

Two Kinds of Foundations Robert Harper Computer Science Department Carnegie Mellon University LFCS 30th Anniversary Celebration

Source URL: events.inf.ed.ac.uk

Camera Network Calibration from Dynamic Silhouettes Sudipta N. Sinha Marc Pollefeys Leonard McMillan. Dept. of Computer Science, University of North Carolina at Chapel Hill. ssinha, marc, mcmillan
@cs.unc.edu

Source URL: www.cs.unc.edu

Digital Forensic Traces in Radio Communication Equipment Arie Kouwen, Nhien-An Le-Khac and Mark Scanlon School of Computer Science, University College Dublin, Ireland. , , mark.sc

Source URL: forensicsandsecurity.com